[anarazel]

But you need to prove that it halted - to you manager obviously - that's the impossible and stressful part.

[tripzilch]

But is it provable in nondeterministic polynomial stress?

[badminton1]

Need to explain it to 10 managers if you work in enterprise software.