4 ms·

Can you provide formal verification proof of your own safety?