The English term "discard" matches the Dutch term "afdanken"