Text this: Combinatorics and Reasoning