Email Record: Logics of programs :