Egy mezei informatikus altalaban szoftverfejelszto, irja a programjait, az egesz a varakozasanak, elveinek megfeleloen mukodik (a hibaknal kiderul, hogy o volt a hulye, vagy a forditoban hiba van, stb.) egyertelmu helyzet, alogikaja nincs igazabol kiteve kritikus helyzetnek. A bizonyitekok is nagyon kozvetlenek: mukodik az a program?