4 ms·

Redundancy is a good thing. It helps humans to detect errors and they need all the help they can get.