Email Record: Propositional calculus and binary calculus