The Dutch term "verdringen" matches the English term "repulse, suppress"