Linear orders are mathematical conveniences, not claims about physical reality; theorems using them ...
This proposition has not been edited since the history system was added.