Asserties geven niet om of je code vrij is van bugs. Ze geven om of de uitkomst de protocolinvarianten schendt. Zo simpel is het.
191