P
Initializing...
Every model of T expands uniquely to a model of T⁺ · Prove2Me