Na de honnan vagy te olyan biztos, hogy működik? Formálisan bizonyítottátok, az implementációt ennek megfelelően ellenőriztétek? Honnan tudjátok, hogy nincs benne olyan rejtett eset, amikor mégsem működik úgy, ahogy ti azt gondoljátok?
----------------
Lvl86 Troll, "hobbifejlesztő" - Think Wishfully™