Email Record: Proof and computation /