Het is hartverscheurend om Terence Tao te zien denken aan het verlaten van de VS.