The act of solving a problem rests on a sense of how the phenomena function; the formal expression of the solution is unlikely to capture fully this procedural knowledge, or even the data and information (or clues, as Polanyi describes it) leading to the solution. Thus, even in the arena of problem identification and solving, the know-how of heuristic search precedes the formal knowledge of the solution.