Interesting final point. It's like the business equivalent of NP-Complete problems, difficult to compute but easy to verify.

Can you give any examples of those types of problems you've encountered?