https://9lib.org/document/4zp8jl0y-boolean-metric-spaces.html