The split contract model • Code and natural language at odds • Bugs in coding 37 First R3 Smart Contract Templates Summit (All Slides) Page 36 Page 38