Text this: Logic, semantics, metamathematics :