59%команд взяли этот вопрос на реальных турнирах, играло 152
"Если автор программы не может доказать, что она написана правильно, то она считается неправильной". В учебнике Вадима Монахова данный принцип программирования получил название из двух слов. Напишите это название.