combinatorial search and for expressions