3 ms·

Pedantry is its own reward.