"Dalam paradigma pemrograman baru ini, fitur baru yang paling prediktif untuk dilihat adalah verifikasi.... Semakin banyak tugas/pekerjaan yang dapat diverifikasi, semakin mudah diterima oleh otomatisasi dalam paradigma pemrograman baru." Seperti yang dinyatakan Andrej di atas, verifiabilitas adalah kuncinya. TAM untuk cloud yang dapat diverifikasi akan jauh lebih besar daripada yang dapat kita lihat saat ini. Itulah dunia yang kita bangun. @EigenCloud