Kretschmann's 1917 objection established that general covariance is a formal property any theory can...