Igualdade e equivalência no EP

["Leandro Esteves Barion" <leandro:barion*gmail:com>]

     Considerando o seguinte trecho de código no contexto do EP:

u := umWebMail usuarioComLogin: 'lebarion'.
c1 := Conta novaConta: #SMTP noServidor:'smtp.ime.usp.br'
comLogin:'lebarion' eSenha:'senha'.
c2 := Conta novaConta: #SMTP noServidor:'smtp.ime.usp.br'
comLogin:'lebarion' eSenha:'senha'
umUsuario adicionaConta: c1.
umUsuario removeConta: c2.

     O usuário u deve ter alguma conta associada a ele no fim da
última operação? Em caso negativo, qual é o comportamento esperado?
Lançar uma exceção?
     No caso geral, como deve ser feito o tratamento de erros no EP?
Com exceções?
     Dessa vez, espero que eu não tenha perguntado nada que já está no
enunciado :o).
     []'s

______________________
Leandro "Bean" Barion
leandro:barion*gmail:com
______________________