1/ Kirurgiska robotar fungerar eftersom precision är icke-förhandlingsbar. När autonomin ökar, måste även verifieringen göra det.

2/ "Lita på mig" godkänner inte reglering, säkerhetsgranskning eller skalning. Proof of Inference förvandlar autonomi till något du faktiskt kan verifiera.