I wrote a logic test as part of the knowledge representation course.

I really did not want to end up studying logic in graduate school yet here I am doing just that. It is improving my understanding of knowledge representation and this understanding will be needed to actually write stuff my thesis supervisor expects. This logic refresher also allows me to think about some software writing dogmas and problematics that keep popping up at work.