When cut elimination fails in some system, the failure indicates the system is non-standard or poorl...
This proposition has not been edited since the history system was added.