3 ms·

Can you show us a proof of correctness you've written?