Touch up MetricSpace and implement laws.