One area that philosophers might profit from is in the investigation of the relational observables that appear to be necessitated by diffeomorphism invariance. For example, since symmetries (such as the gauge symmetries associated with the constraints) come with quite a lot of metaphysical baggage attached (as philosophers of physics know from the hole argument), such a move involves philosophically weighty assumptions. For example, the presence of symmetries in a theory would appear to allow