The movement from one search space to another:

"As mathematical derivations from a set of axioms cannot lead to a theorem that contradicts those axioms, so analytical thinking cannot find any solution that is not included in the search space in which it moves. To reach all possible solutions, the mind must be able to jump over its own axioms and move sideways from one search space to another."

Stellan Ohlsson