The efficient problem-solver