 By adopting second-order logic along with Hume’s Principle in an unrestricted form, Wright incurred commitment (as a matter of analyticity) not only to each natural number, seriatim, but also to the cardinal number of any concept whatsoever. We know now, however, that Gödel’s prescient ‘completionary’ insight has long since been fully borne out. The insight in question was that the set-theorist’s key to proving stronger and stronger results in mathematics—and in particular the consistency of each newly attained system—is to postulate the existence of ever-larger cardinal numbers. If all these cardinals were available across the board courtesy of Hume’s Principle applied to appropriately expressed concepts, then Wright would be proposing a foundational theory of enormous strength. The only reason why FA is not even more powerful than Z2 is that the former system’s ontology is being generated solely by the abstractions. There is no other source of existential postulation, as there would be if one were to add, say, set theory to the theoretical mix. 