The claim that SAT is NP-complete inherits the epistemic status of the metatheory in which complexit...