Email Record: Mathematical interpretation of formal systems /