Text this: Rigorous mathematical thinking