A programkódot statikusan kielemezni, hogy fog-e hülyeséget csinálni körülbelül lehetetlen. Kb a 4 közlekedési lámpa gyújtogatása az a komplexitás amit még bizonyítani lehet, hogy helyesen működik. A bizonyítás költsége legalább exponenciálisan nő a program komplexitásával.