invariant: add condition. exception: add .add()