Email Record: A realist philosophy of mathematics /