I'm enjoying the discussion of commutative diagrams, abstraction functions, and representation invariants in section 6.3. It is very well motivated and easy to understand.