The Dutch term "verminderen" matches the English term "diminish, lessen"