2 ms·

Formal verification goes a long way.