Email Record: Formal languages in logic :