Email Record: Reasoning with the infinite :