And yeah, at some level you have to be checking for whether or not you are proving what the UDT agent will do—if you prove it you’re safe, and if you don’t you’re not. The trouble is that checking for the proof can contain all the steps of the proof, in which case you might get things wrong because your search wasn’t checking itself! So one way is to check for the proof in a way that doesn’t correlate with the specific proof. “Did I check any proofs? No? Better not trust anyone.”
If you’re so smart, why ain’t you a rock? :P
And yeah, at some level you have to be checking for whether or not you are proving what the UDT agent will do—if you prove it you’re safe, and if you don’t you’re not. The trouble is that checking for the proof can contain all the steps of the proof, in which case you might get things wrong because your search wasn’t checking itself! So one way is to check for the proof in a way that doesn’t correlate with the specific proof. “Did I check any proofs? No? Better not trust anyone.”