Text this: The tools of mathematical reasoning /