Einstein's hole argument shows that GR's diffeomorphism invariance requires spacetime points to bear...