Properties robust to all ground-theoretic variation would constrain mathematical possibility in ways...
This proposition has not been edited since the history system was added.