"If the procedure is given a k-tuple x which is not in the domain of f, then the procedure might go on forever, never halting.
"Ако је поступку дата к-торка x која није у свом домену f, онда поступак може ићи у недоглед, никада да се заустави.