Email Record: Logic and program semantics