This chapter was challenging to read due to the proofs to walkthrough. I remember alot of these symbols from my undergrad math classes, which helped alot. The "SSS0" notation was new to me, but other symbols were familiar.
The "Translation Puzzles for You" section is exercised in the video lectures if you want the answers (or don't want to see them).
I think I understood the walkthrough well, but I think it would have been more than difficult if I would have ever had to derive those proofs.
I saw the push-pop thing again. I think I follow the push, but I don't think I understood the pop step of the proof process.
The "Translation Puzzles for You" section is exercised in the video lectures if you want the answers (or don't want to see them).
I think I understood the walkthrough well, but I think it would have been more than difficult if I would have ever had to derive those proofs.
I saw the push-pop thing again. I think I follow the push, but I don't think I understood the pop step of the proof process.