Email Record: Mathematical logic /