The distance function problem. There is a rather devastating argument that shows the impossibility of a genuine distance function for a discrete geometry. It dates back to 1949 and was first formulated by Hermann Weyl: