  In its original incarnation, Einstein considered a spacetime filled with matter excepting one region, the hole, which was matter free. (So in this original form, the term “hole” makes more sense than in the modern version.) He then asked if a full specification of both metric and matter fields outside the hole would fix the metric field within. Since he had tacitly eschewed Leibniz Equivalence, Einstein thought that the resulting negative answer sufficient to damn all generally covariant theories.