4 ms·

Is this supposed to be a reductio?