Email Record: Elements of formal logic.