and he has brought out the people who [are] in it, and sets [them] to the saw, and to cutting instruments of iron, and to axes; and thus David does to all cities of the sons of Ammon, and David turns back—and all the people—to Jerusalem.