Email Record: Formal logic.