Email Record: Temporal logic of programs /