Re: [PD] declare and abstraction