Some metric facts (like light cone structure) are discovered through experiment, not merely stipulat...
This proposition has not been edited since the history system was added.