Email Record: Proof and disproof in formal logic :