The idea of sharing structural properties/invariants between abstractions is something that is in my mind often, and reading the book intro resonates with me.