added snippets showing combinatorial explosion