Toward a Unified Theory of Problem Solving