4 ms·

Sure, Michael has had a significant (defining) contribution. I don't think that really makes a difference for these purposes though.