Modal language ('could be', 'necessarily') better captures what mathematicians actually express than...
This proposition has not been edited since the history system was added.