Semua orang berbicara tentang agen tetapi mereka kehilangan narasi yang lebih besar: Komputasi yang dapat diverifikasi. Agen tidak bekerja dalam skala besar tanpanya.