Text this: A profile of mathematical logic/