Email Record: Principles of mathematics /