:)

I love natural deduction. Like a nice challenging crossword in a Sunday afternoon, it brings a certain playful pleasure and allows me to ignore the rest of the world for a little bit (my thesis).