pinyaka comments on A Little Puzzle about Termination

[pinyaka]

I wonder how one would calculate what level of meta-knowledge about a completeness condition is necessary for a some priority task.