Mathematical robustness requires invariance across all adequate formalizations, but NP's logical cha...