And Midian is humbled before the sons of Israel, and have not added to lift up their head; and the land rests [for] forty years in the days of Gideon.