3 ms·

Here it's more that it allows to assume that this is never the case, thus no need to have an additional check in it I assume ?