Frege's analysis of implicit definition shows that deriving metric notions from projective ones does...