  More generally, we may well wonder whether the problems faced by spacetime substantivalism is an artifact of the particular formalism described above. Bain (1998, 2003) has explored the effect of a transition to other formalisms.