SMS dit: Combinatorics and Reasoning