Утверждения не заботятся о том, безошибочен ли ваш код. Им важно, нарушает ли результат инварианты протокола. Просто.
192