Дейкстра предложил свой цикл, чтобы можно было доказать его правильность.
Как вы будете доказывать, ладно не доказывать, а хотя бы убеждать кого-то (или себя), в том, что этот цикл правильный?

Предлагаю два варианта:
1. Я не занимаюсь такой хернёй.
2. "С помощью усиленной жестикуляции".

От такой конструкции Дейкстра перевернулся бы в гробу.