SMS: Combinatorial reasoning :