I Am A Logicist, Part 2