And so Yahweh our God gave him over to us, and we struck him down, and his sons and all of his people.