4 ms·Good point, dmurray. It was a subtle point here, and probably I should have commented on it.by norvig 6y agoGood point, dmurray. It was a subtle point here, and probably I should have commented on it.