However, when the true answer is 'no', the procedure is not required to halt; it may go into an "infinite loop" for some 'no' cases.
Међутим, када је истинит одговор „не“, од процедуре се не очекује да се заустави; за неке „не“ случајеве, може да уђе у „бесконачну петљу“.