Since the claim 'SAT is NP-complete' is only provably true relative to a chosen encoding scheme, it ...