3 ms·

proving false is also useful