The Dutch term "herleiden" matches the English term "reduce"