Comment by IshKebab

Right but "guaranteed to terminate" is not a useful property. You could write a program that terminates... after a billion years.