Nit, but Terrence Tao did not write this article, it’s a guest post.