Email Record: Proof and knowledge in mathematics