Твердженням байдуже, чи є ваш код без помилок. Вони турбуються, якщо результат порушує інваріанти протоколу. Все дуже просто.
184