Påstander bryr seg ikke om koden din er feilfri. De bryr seg om utfallet bryter med protokollinvarianter. Enkelt som.
160