Text this: A precis of mathematical logic/