1/ Robot bedah bekerja karena presisi tidak dapat dinegosiasikan. Seiring dengan meningkatnya otonomi, begitu pula verifikasi.

2/ "Percayalah" tidak lulus peraturan, tinjauan keselamatan, atau skala. Proof of Inference mengubah otonomi menjadi sesuatu yang benar-benar dapat Anda verifikasi.