Re: [PD] collecting abstractions