The absence of known independence proofs for P≠NP reflects our limited proof-theoretic tools, not th...