User blog comment:Ubersketch/Contest thingy/@comment-35470197-20181214225806/@comment-35470197-20181215024932

Your description of "stage" does not seem to characterise it. If you assume the well-definedness of a function for the contest, then you need to clarify the precise definition of terminology which you use.

Also, I guess that "and not terminate" in the description is a typo. I could not understand what "terminate" means here. Is "stage" itself a computable function or something like that? And why do you assume the non-termination?