Member of the Institute for Advanced Study (IAS). C. Simonyi Endowment, in part.