This chapter outlines some strategies for dealing with the impediments to formalization described in the previous chapter. In particular, it discusses increasing the precision of the contract, and looks at structuring the problem to limit fact patterns to those that are less problematic. It also considers a propose-and-verify workflow that enables an implementation to be resilient to variations in SAFEs and other convertible instruments, and negotiated variance of the terms of the SAFE. It is argued that higher order programming techniques help to address problems of open structure. Finally, the chapter mentions a need to combine smart contract code with a supporting legal contract, that is discussed in greater detail in Chap.  17 .