Email Record: Logic, semantics, metamathematics :