entity CapoGruppoA
destroy CapoGruppoA
PeerC->PeerCUpperAddressBook:<<getNewCG>>
activate PeerCUpperAddressBook
PeerCUpperAddressBook->PeerC:<<newBestCG(CapoGruppoB)>>
PeerC->CapoGruppoB:Login(DeadCG::CapoGruppoA)
activate CapoGruppoB
entity CapoGruppoBLowerAddressBook
entity CapoGruppoE
CapoGruppoB->CapoGruppoE:<<isAlive(CapoGruppoA)>>
activate CapoGruppoE
alt CapoGruppoA morto
     CapoGruppoE->CapoGruppoB:FALSE
     CapoGruppoB->CapoGruppoBLowerAddressBook:<<addToAddressBook(PeerC)>>
     activate CapoGruppoBLowerAddressBook
     CapoGruppoBLowerAddressBook-->CapoGruppoB:Peer added
     deactivate CapoGruppoBLowerAddressBook
     CapoGruppoB->PeerC:<<sendAddressBook>>
     PeerC->PeerCUpperAddressBook:<<aggiornaAddressBook>>
     deactivate PeerCUpperAddressBook 
else CapoGruppoA ancora vivo
     CapoGruppoE->CapoGruppoB:TRUE
deactivate CapoGruppoE
     CapoGruppoB->PeerC:DENIED
     deactivate CapoGruppoB
end