The hole argument, revived by Earman and Norton (1987), shows that diffeomorphism invariance renders...