Le asserzioni non si preoccupano se il tuo codice è privo di bug. Si preoccupano se il risultato viola le invarianti del protocollo. Semplice.
172