Combinatorics and Reasoning: Representing, Justifying