In autumn 2017 I stumbled upon an interesting question from a student: “Is there anything fun in the course?” Usually the question is about is there anything interesting in the course, but this question about ‘fun’ stayed lingering in my mind. Continue reading