Email Record: Logics of Programs :