The Marks Are Here!

After doing better than expected on assignment1 and test1, this week has been rather cheerful. The introduction to sorting was a refreshing breeze of confusion, leaving me going though this week's annotated slides to sort my thoughts. Dialing the clock back to Monday, thee proofs in the slides made me realize I had no idea how to proceed after setting up the quantifiers and antecedent. I did find comfort seeing proving something false was not a stretch when put as proving the negation of the statement true.

After a restless Monday night tackling Tuesday's tutorial proof questions, I was welcomed by a nauseating Tuesday morning, as sickening as the subway ride proved to be, gifted me with a understanding of how to approach the main body of proofs. As we took up the tutorial questions, it occurred to me, what in hindsight was evident in the lectures slides, was the manipulation of the antecedent into looking like parts or the whole of the consequent and use given assumptions to make the homestretch to reach the consequent.

As I relax in front of my screen snacking on pistachios to compliment a moderated amount of my favorite beer, a creeping unease manage to convince me to go over the annotated slides to confirm I in fact understand the construction of every proof.