4 ms·

But it's important to "punish" (via punitive fines) the right people, so that they will put some effort into not making that mistake again.