Email Record: Systems of Formal Logic /