1. Apraksts par problēmu : Es pieņemu picas pasūtījumu, aizbraucu, un kad esmu pie checkpointa, viņš nepazūd! Tākā viņš nepazūd, kautvai esmu viņā vidū, nevaru pieņemt citus pasūtījumus!
3. Pierādījumi par problēmu : Pēdējā laika nav bijušu izsaukumu, bet tad kad būs, ielikšu!