And he brought forth the people who were in it. And he put [them to work] with saws, and with harrows of iron, and with axes. And thus David did to all the cities of the sons of Ammon. And David and all the people returned to Jerusalem.