Text this: Analysis with an introduction to proof /