We infer metric structure from light behavior, yet light behavior's interpretation depends on alread...
This proposition has not been edited since the history system was added.