 And there matters stood for more than fifty years. In 1983, Crispin Wright’s book on Frege’s theory of the natural numbers appeared (Wright 1983). In it, Wright breathes new life into the logicist project. He observes that Frege’s derivation of second-order Peano Arithmetic can be broken down in two stages. In a first stage, Frege uses the inconsistent Basic Law V to derive what has come to be known as Hume’s Principle: