Email Record: Verifiable programming /