Email Record: Formal models of agents :