1997a, "Is Hume's principle analytic?" In Richard G.