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

Hypothesis: Show me the proof that you have that your programs are safe.
Relation: neutral