Muodollisesti todennetut tuomarimallit voivat ratkaista markkinoita tai toimia totuuden lähteenä muissa yhteyksissä. Tällä on syvällisiä seurauksia --> 1. Käytä aikaa asianmukaisesti tarkastetun (mieluiten avoimen lähdekoodin) tuomarimallin rakentamiseen käyttötapausta varten. 2. Suunnittele sopiva kehote, joukko työkaluja + lähteitä, joita se voi käyttää, ja ehdot "tuomitsemisen" laukaisemiseksi. 3. Varmista, että kaikki näyttää hyvältä kaikille osapuolille (tai heidän hyväksymälleen auditointimekanismille) 3. Kodifioi kaikki älykkääseen sopimukseen ja ota käyttöön. Sen jälkeen odotat "liipaisinta", ja jos kaikesta sovittiin avoimesti/läpinäkyvästi, lopputulosta on vaikea kiistää.