Bergmann's 1961 program established that genuine observables in GR must be invariant under the full ...