OLE mathematical compiler can proof that OLE is compiled to error free code.
A must for government regulated blockchains.
OLE texts can be validated for correctness by domain experts. Validated OLE can then be compiled to the Solidity programming language of Ethereum, producing well-structured and maintainable blockchain code. OLE to Corda/Kotlin for Q2.