master as of 4-Jan-2013
master as of 16-Jan-2013
metric spaces
big proofs: bcth, ubth, htth, heibor