Hyperintensional contexts distinguish between logically equivalent propositions, so ¬P and 'P is fal...
This proposition has not been edited since the history system was added.