How Many Hours Does Terence Tao Work