Opin pienenä Pythagoraan teoreeman ulkoa, siis sen "Suorakulmaisen kolmion hypotenuusan neliö on yhtäsuuri kuin kateettien neliöiden summa" -lauseen. En ymmärtänyt tuota vielä moneen vuoteen, mutta jotain kiehtovaa rimpsussa oli; muutenhan en ole hyvä muistamaan runoja ja loruja ja sellaista.

* * *

Työkaveri tarkasti hiljakkoin gradua. Sen nimi oli "Myy-kalkyyli: monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti". En tietysti ymmärrä sisällöstä oikeastaan mitään, mutta tuo gradun nimi on tarpeen:

Työpaikoistani toisella, tietojenkäsittelytieteen laitoksella, palkka on iso. Niin iso, ettei sovi sanoa että minä tässä kopistelen konetta ja katson ovatko johdot paikallaan. Mutta kun mutisee jostain invariantista fragmentista samalla, niin mutisevat että "on toi tosi viisas" ja luulevat minua palkkani arvoiseksi.