Claims about propositional satisfiability complexity thus presuppose a contingent choice of computat...