In the world of finance, it’s already happened a bit. For the last, I don’t know, 30 years, options [contracts] have been expressed in essentially an algorithmic way.

But mortgages haven’t. So, if you take this multipage mortgage document and express it in computable form, then you can take 10,000 and do systematic analysis on them.

That’s a rather sterile example. But there are plenty of other examples; say, whether you’ll deliver 10,000 pounds of grade-A bananas to this site at this time.