Metatheory can access facts about models that the model itself cannot recognize without additional a...
This proposition has not been edited since the history system was added.