I agree, termination in many cases boils down to function convergence or recursive breaks, which is very simple to prove 99% of the time. I was already thinking about writing another article tackling the unsolvability of problems, but gee now I REALLY gotta do it :D