 Returning to the uncontested PGA, let us ask how it can be explained. Heim (1982) was not explicit about exactly how accommodation should work and what should be accommodated. And oddly enough, although virtually all theories of presupposition projection accept that the PGA holds, there haven’t been that many attempts at explanation. One candidate is what Beaver (2001) calls the “Atlas Principle”, after Atlas (1976):