Text this: An interoduction to mathematical resoning