Professorn i logik nickade.