mnli 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.