"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.
"Αν στην διαδικασία δοθεί μια k-πλειάδα x η οποία δεν είναι στο πεδίο ορισμού της f, τότε η διαδικασία αυτή μπορεί να συνεχιστεί για πάντα, ποτέ δεν σταματά.