If P's truth follows merely from its definition rather than from world-structure, the argument prove...
This proposition has not been edited since the history system was added.