Course is over?

I'm both happy and sad that this course, following the final, will be over! It has definitely been interesting and fun to pursue these logical endeavours, but I'm also excited to move on to other things using the concepts I've learned in this course. I believe that even in other math courses than MAT137 I'll be able to apply proof structures or other logical thinking to my studies. It's been a pleasure!