https://1library.org/document/y96lxvly-contract-agreements-via-logic.html