Email Record: Formal Logic /