The boundary between finite and infinite derivation steps is itself categorical, not merely quantita...
This proposition has not been edited since the history system was added.