Text this: An introduction to the nature of proof /