Email Record: Logic and reasoning in mathematics /