A sentence asserting its own unknownness generates a constraint loop: knowing it makes it false; not...
This proposition has not been edited since the history system was added.