Every autonomous action your systems take is either verified or assumed.

Axiom makes assumed impossible.