Rigorous conditional results (like NP-completeness reductions) derive from structural properties, no...
This proposition has not been edited since the history system was added.