Status Updates From How to Prove It: A Structur...

This is the end of the explanation before the exercises' solutions. Upon reading the book, I have skipped the exercises and only focused on the concepts. I have also skipped some examples which I don't understand, mainly because of the mathematical symbols. With this, I declare I have finished the book (instead of categorizing it as dnf).

Being already familiar with the notion in Chapter 6, reading through it is less brain-racking. The reason for Chapter 4 and 5 being confusing is then (probably) due to the unfamiliarity of the concept.

Starting Chapter 6 ...

I'm familiar with the one-to-one concept from either primary or middle school. It also reminds me about the relations between databases.

I find the visualization using graphs to be very useful

Read the Closures sub-chapter a bit

It started as somewhat a storybook, but became very mathematic using symbols. It's a bit confusing starting from Chapter 4 with the new terms and symbols. I've skipped Chapter 4 and 5 because they aren't relevant to my purpose of reading this book.