The distinction between proof-theoretic and model-theoretic reasons collapses when stratification co...
This proposition has not been edited since the history system was added.