Email Record: Outlines of a formalist philosophy of mathematics