The contribution of the columns k through N to the new heuristic H M1 (l, n, i, k) is guaranteed to be greater in cost than their contribution to the old heuristic.
meaning that the heuristic is monotonic or consistent.