This is good. I like how Walter defined the overriding enclosing scope rule as well, and the rationale about aggregates inheriting it is also correct and I like that. Unambiguous yes from me to this particular step and DIP.