Contracts in code?. Issue 2 (3rd July 2021)