https://monodes.com/predaelli/2021/03/31/design-by-contract-in-a-spreadsheet/