The algorithm agrees.