”Översätt följande till en predikatlogisk sentens: ’NÃ¥gon som läser logik är glad, men att alla som läser logik är glada gäller bara om ingen som inte läser logik är berömd.'” Erik Tjernlund skriver om ”sadistisk kollektiv matematikbestraffning” som pÃ¥gÃ¥r pÃ¥ KTH. Stackars honom!