Source: https://www.artificiallawyer.com/2016/10/14/wolfram-alpha-founder-lawyers-should-code-and-contracts-be-computable/