The logical step from NP-completeness to P=NP therefore inherits the modal fragility of the feasibil...