Can you provide formal verification proof of your own safety?