Text: Either obtain your programs from trustworthy sources, or ensure that the programs behave.
Entailment: You should acquire your programs from legitimate sources.
Contradiction: If you get your programs from untrustworthy sources you do not have to monitor them.