 DeWitt took this view to follow from “the mathematical formalism of quantum mechanics as it stands without adding anything to it.” More specifically, he claimed that EWG had proven a metatheorem that the mathematical formalism of pure wave mechanics interprets itself: 