Email Record: Invariants of behavior :