In general relativity, the hole argument is an apparent paradox that much troubled Albert Einstein while developing his famous field equations. Some philosophers of physics take the argument to raise a problem for manifold substantialism, a doctrine that the manifold of events in spacetime is a "substance" which exists independently of the metric field defined on it or the matter within it. Other philosophers and physicists disagree with this interpretation, and view the argument as a confusion about gauge invariance and gauge fixing instead. Einstein's hole argument In a usual field equation, knowing the source of the field, and the boundary conditions, determines the field everywhere. For example, if we are given the current and charge density and appropriate boundary conditions, Maxwell's equations determine the electric and magnetic fields. They do not determine the vector potential though, because the vector potential depends on an arbitrary choice of gauge. Einstein noticed that if the equations of gravity are generally covariant, then the metric cannot be determined uniquely by its sources as a function of the coordinates of spacetime. As an example: consider a gravitational source, such as the sun. Then there is some gravitational field described by a metric g(r). Now perform a coordinate transformation r r' where r' is the same as r for points which are inside the sun but r' is different from r outside the sun. The coordinate description of the interior of the sun is unaffected by the transformation, but the functional form of the metric g' for the new coordinate values outside the sun is changed. Due to the general covariance of the field equations, this transformed metric g' is also a solution in the untransformed coordinate system. This means that one source, the sun, can be the source of many seemingly different metrics. The resolution is immediate: any two fields which only differ by such a "hole" transformation are physically equivalent, just as two different vector potentials which differ by a gauge transformation are physically equivalent. Then all these mathematically distinct solutions are not physically distinguishable — they represent one and the same physical solution of the field equations. There are many variations on this apparent paradox. In one version, you consider an initial value surface with some data and find the metric as a function of time. Then you perform a coordinate transformation which moves points around in the future of the initial