3 ms·Funny. Are they also going to rename Thierry Coquand?by js8 6y agoFunny. Are they also going to rename Thierry Coquand?