<div dir="ltr"><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="verdana, sans-serif">"<span style="color:rgb(0,0,0);white-space:pre-wrap">And I even know David Spivak, and know some of his work with Brendan Fong."</span></font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><span style="color:rgb(0,0,0);white-space:pre-wrap"><font face="verdana, sans-serif"><br></font></span></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><span style="color:rgb(0,0,0);white-space:pre-wrap"><font face="verdana, sans-serif">Cool. He and I knew each other briefly when he was at the University of Oregon. Around the time David was learning topos theory, he, my buddy Ralf (who was in the math grad program there at the time) and I worked through some examples together.</font></span></div></div>