Take the following as truth: How can you be sure your programs are safe?
Then the following statement: "Show me the proof that you have that your programs are safe." is true, false, or inconclusive?
Answer: Inconclusive