Another approach seeks to explain Leibniz equivalence and demonstrate the compatibility of general relativity with the hole argument through the individuation of spacetime points by means of “Dirac observables” and an associated gauge fixing stipulation (Lusanna and Pauri, 2006).