The substantive open question—whether P=NP or P≠NP—cannot be resolved by definitional containment al...