For it was of Adonai to harden their hearts to encounter Israel in battle, that they might be put to the ban, that they might receive no mercy, in order to destroy them as Adonai had commanded Moses.