ParentFull threadIshKebab·Right but "guaranteed to terminate" is not a useful property. You could write a program that terminates... after a billion years.View on HN