Text: How can you be sure your programs are safe?
Entailment: Are you sure of the safety of your programs?
Contradiction: I understand that you are uncertain of the safety of your programs.