Email Record: A Precis of Mathematical Logic /