SQML's Box-N theorem follows logically from its axioms; if the axioms are justified, the theorem's t...
This proposition has not been edited since the history system was added.