Weyl's argument thus presupposes a non-standard decomposition of metric structure that privileges hi...