a word about heuristics in problem search