Some of the comments here are very strange. Someone called Terrance Tao a useful idiot. Friday in America, maybe people are hitting the beer a bit early.