Tunggu—apakah manusia bisa benar-benar dapat diverifikasi dan tidak bisa disogok? Apakah perangkat lunak lain dapat mengklaim hal itu? Lalu mengapa ini tiba-tiba menjadi tolok ukur untuk sesuatu yang berguna? Jika kita memegang segala sesuatu pada "verifikasi sempurna," kita akan menolak sebagian besar alat yang kita andalkan setiap hari. Mungkin pertanyaan yang sebenarnya bukan apakah itu sempurna, tetapi apakah itu menyelesaikan masalah lebih baik daripada alternatif. Konteks lebih penting daripada kemurnian absolut.