I agree.. I felt a bit blindsided that the guy would start with saying "we need provable statements" and then just throw this in there. For guest post on Tao's

I agree.. I felt a bit blindsided that the guy would start with saying "we need provable statements" and then just throw this in there. For guest post on Tao's blog, after a decent start this fell short of expectations rather rapidly.