Text this: Mathematics and logic