Email Record: Provably Correct Systems /