Text this: Cutting planes in combinatorics