toevoegen enlarge en shorten + weer aanpassen invars