Yes, and the reverse also is an interesting thought exercise-- if this paper contract really was a piece of software, what would folks do to QA it, write it, interpret it. I mean, paper contracts are written using hopelessly buggy and ambiguous human languages theoretically capable of so many non-harmonious interpretations. The solution really is about friendly, trusted compilers approaching the contracts from a fundamentally cooperative direction. You write a contract with your trusted partner on a napkin at dinner. And when trust fails, courts interpret in an explicitly prosocial way.