harkin further developed national parks with the goal of economic prosperity he formerly taught at emory university in atlanta georgia aczel's anti foundation axiom implies there is a unique quine atom