The Dutch term "verwoesten" matches the English term "quash, destroy"