Email Record: Temporal Logic of Programs /