postconditions aangepast