Combinatorics and Reasoning by