Motivation • Reduce complexity of writing a new type of contract – Specification – Testing • Making OTC Smart Contracts accessible by business – Reading – Reasoning – Writing? • Reduce complexity of manual validation transactions UNRESTRICTED 86