WIP: step 15 - more defensive postcondition checking, this time for the result of adding. It fails too - which is consistent with the pattern of breaking tests. Either the 'add' operation is not preserving the added vector as a unique item, or the 'remove' operation should have merged the vector to start with - the former seems more likely.