Comment by mattmanser

Tao's point is that we have a method already.