Develop a general explanation of human problem solving behaviors provided by a program of processes that generate the behavior. Investigators describe/develop an information-processing program for developing logical proofs and theories and qualitatively compare its behavior to that of humans. This helps to explain how human problem solving behaviors are compounded out of elementary processes and that this combination of processes can solve problems.