Email Record: A tour through mathematical logic /