Ini menangkap inti: mengubah logika hukum dan akuntansi menjadi kode yang dapat diverifikasi.