Text this: Logic, semantics, metamathematics: