metric spaces
big proofs: bcth, ubth, htth, heibor
master as of 4-Feb-2014