“Avenge the children of Israel for the Midianites. Afterward you shall be gathered to your people.”