combinatorial search
translating 'for'-expressions
polynomial maps
phone keys