Distinguishing soundness from membership criteria is necessary for rigorous complexity-theoretic ana...
This proposition has not been edited since the history system was added.