just learned

Kervick wins pocono organic 325.

The world changed so much in the last several months... 

spent some leisure time writing a useful reference page

https://github.com/vpatryshev/wowiki/wiki/Logic-of-Elementary-Topos 

второй завтрак (merienda)