The claim falsely assumes we *define* consistency by computational feasibility rather than *acceptin...
This proposition has not been edited since the history system was added.