The inference commits a modal fallacy: from 'possibly (∃P: solves NP-complete in poly-time)' to 'nec...
This proposition has not been edited since the history system was added.