@aeva @morten_skaaning @lritter The Halting Problem is oversold.1. It's not actually generally hard to prove whether any particular invocation will halt. (Just hard to give a single approach that works on everything.)2. The HP is not even theoretically hard if you expand the set of valid answers to be { yes, no, not sure }3. practically speaking, the answer is always yes because at some point there will be a sufficiently long power outage or, more likely, forced OS update