Påståenden bryr sig inte om din kod är buggfri. De bryr sig om resultatet bryter mot protokollets invarianter. Så enkelt är det.
199