Combinatorics and Reasoning:Representing, Justifying