2 ms·

I felt it received undeservedly little attention due to the time of the day it was submitted. Sorry for the redundancy.