example of a smarter goal for problem solving - Search