Email Record: Lógica formal