2 ms·

It's what formal verification is for!