Email Record: States, effects, and operations :