[lanstin]

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.