5 ms·You're right. I misrepresented his work here and edited my comment as appropriate.by DubiousPusher 4y agoYou're right. I misrepresented his work here and edited my comment as appropriate.