Asimismo, si garantizamos que formula_10 es consistente (o monótona), es decir, que para cualquier nodo formula_12 y cualquiera de sus sucesores, el coste estimado de alcanzar el objetivo desde n no es mayor que el de alcanzar el sucesor más el coste de alcanzar el objetivo desde el sucesor.