4 ms·

What's the point of this comment? It's just a basic fact that everyone agrees with that wasn't put into contention by parent comment.