Email Record: Systems of formal logic /