The Dutch term "vergroten" matches the English term "enlarge, augment"