Email Record: Propositional logic :