3 ms·

For Professor Tao, I think that step is reading thru it once. Which is why the tool is more powerful for him than for us.