Minsky in his article Steps Toward Artificial Intelligence says, "The LT (Logic Theory) program is centered around the idea of 'working backward' to find a proof. ... The heuristic technique for working backwards yields something of a teleological process, and LT is a forerunner of more complex systems which construct hierarchies of goals and subgoals."