Email Record: The Correctness problem in computer science /