Questo cattura l'essenza: trasformare la logica legale e contabile in codice verificabile.