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

What does "terminate" mean in this context? Is it just "total"? Since you assumed a function to be well-defined, the termination automatically holds for any input in its domain.

Also, how can a function whose output is "stage" be well-defined? Could you explain the definition of "stage" for clarification?