Premise: Either obtain your programs from trustworthy sources, or ensure that the programs behave.

Hypothesis: If you get your programs from untrustworthy sources you do not have to monitor them.
Relation: contradiction