[abecedarius]

No, it's correct -- you can see that by induction on the add operation. If you're allowed to increase n without first ensuring the invariant on the first n members, then it can break, yes.

[fauigerzigerk]

Yes you're right. Thanks.