I Am A Logicist, Part 1