Any ordinal ranking of intermediate states preserves the binary opposition at closure, making zero-s...
This proposition has not been edited since the history system was added.