Email Record: The mathematics of logic :