ktˌurɨ ɔkrˈɛɕla, ʒˈɛ jɛʒˈɛli fˈuŋktsja ˈiks ɲʲɛ zvrˈutɕi prˈavdɨ, tɔ znˈatʃɨ, ʒˈɛ mˌamɨ prˈɔblɛm i nalˈɛʒɨ zakˈɔɲtʃɨdʑ vˌɨkɔnˈaɲʲɛ prɔɡrˈamu.
który określa, że jeżeli funkcja(X) nie zwróci prawdy, to znaczy, że mamy problem i należy zakończyć wykonanie programu.