[mdp2021]

It seems like we will need to adopt the use of reliable tools to verify whether contracts (including EULAs, etc.) are acceptable or preposterous.