4 ms·

That verification doesn't even exist in meatspace though. We are setting an impossibly high bar to try to weasel out of implementing anything.