(See bottom). In other words, the result depends on the

argument so evaluation of an application of the function

cannot terminate until evaluation of the argument has

terminated.