Re: [PD] data structures in abstractions