Premise: How can you be sure your programs are safe?

Hypothesis: Are you sure of the safety of your programs?
Relation: entailment