„Algoritmus bude mít konečný počet kroků…“

Za tohoto předpokladu je ovšem možné test podmínky nahradit pevným počtem průchodu cyklem rovným celkovému počtu spotřebitelů (dalšími „zbytečnými“ průchody se výsledek už dále nemění). To už je výrazně schůdnější, čitelnější a stravitelnější než původní formulace „opakujeme, dokud“.

Tuto vlastnost by autoři měli výslovně uvést.

(Do úvah, zda tento algoritmus vypadá či nevypadá přirozeně se neodvažuji pouštět, protože jednak vymyslím několik dalších možných a jednak, i tento, stejně jako všechny ostatní, je krátký na větrače).