Autonomi uten verifiserbar bevis er ikke til å skille fra blind tillit. For at autonome agenter skal operere trygt i stor skala, må deres handlinger være bevisbare, begrensede og reviderbare etter design.