thesis: metric spaces evolved (restriction/intrinsic, example)