3 ms·The tone of the exchange is great, although normal in the company of accomplished pure mathematicians.by civilized 5y agoThe tone of the exchange is great, although normal in the company of accomplished pure mathematicians.