Title: combinatorial pattern matching