I modelli di giudice formalmente verificati possono risolvere i mercati o fungere da fonte di verità in altri contesti. Questo ha profonde implicazioni --> 1. Prenditi il tempo per costruire un modello di giudice adeguatamente verificato (preferibilmente open source) per il caso d'uso. 2. Progetta un prompt appropriato, un insieme di strumenti+fonti a cui può fare riferimento e condizioni per "attivare il giudizio". 3. Assicurati che tutto appaia in ordine per tutte le parti coinvolte (o per un meccanismo di auditing che approvano) 3. Codifica tutto in un contratto intelligente e distribuiscilo. Dopo, aspetti il "trigger" e, se tutto è stato concordato in modo aperto/trasparente, il risultato è difficile da contestare.