Email Record: Logics of programs and their applications :