a better heuristic elimination.