I find the use of the term 'contract' quite different to what I am familiar with in the real world. Of course we can determine via a set of algorithms how a transaction is processed, but this is just the outcome of an agreement on a contract between two people about the conditions on which this transaction will be valid. I am not sure how this would be written or integrated into SMTs, so I am interested in whether there will be a need for dispute resolution services in the blockchain space...