Formálně ověřené modely soudců mohou vypořádat trhy nebo sloužit jako zdroj pravdy v jiných kontextech. To má hluboké důsledky --> 1. Udělejte si čas na vytvoření vhodně prověřeného (nejlépe open source) modelu soudce pro daný případ použití. 2. Navrhněte vhodnou výzvu, sadu nástrojů + zdrojů, které může vyvolat, a podmínky pro "spuštění úsudku". 3. Ujistěte se, že vše vypadá dobře pro všechny zúčastněné strany (nebo pro auditní mechanismus, který schvalují) 3. Vše kodifikujte v chytré smlouvě a nasaďte ji. Poté čekáte na "spouštěč" a pokud bylo vše dohodnuto otevřeně/transparentně, výsledek je těžké zpochybnit.