Re: [PD] embedded abstractions (Was: Re: Highlight modified abstraction instances with red)