Heuristics complete