Expressing invalid principles as axioms would mislead users more than remaining neutral on unsettled...
This proposition has not been edited since the history system was added.