For any characteristic of the program's eventual output, it is impossible to determine whether this characteristic will hold.
За сваку карактеристику евентуалне производње програма, немогуће је одредити да ли ће ова карактеристика издржати.