How can you be sure your programs are safe?
Show me the proof that you have that your programs are safe.
mnli hypothesis: Show me the proof that you have that your programs are safe. premise: How can you be sure your programs are safe?