4 ms·

How do we formalize this bet?