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

Hypothesis: I understand that you are uncertain of the safety of your programs.
Relation: contradiction