Kretschmann's 1917 objection establishes that any theory can be reformulated with formal symmetries ...