Email Record: A formal background to mathematics /