Who cares about them? I want Tao to stop proving all the interesting problems I was planning to work on.