Ordering relations typically hold between entities of the same type (e.g., numbers order numbers, no...
This proposition has not been edited since the history system was added.