Vacuity requires the conditional to be true in all models; if BHP∈P genuinely implies P=NP in standa...
This proposition has not been edited since the history system was added.