Text this: Combinatorics and reasoning