TSK · Deuteronomy 17:4

If you shall hear tell concerning one of your cities, which Yahweh your God gives you to dwell there, saying,

you shall surely strike the inhabitants of that city with the edge of the sword, destroying it utterly, and all that is therein and its livestock, with the edge of the sword.

It is the glory of God to conceal a thing, but the glory of kings is to search out a matter.