Re: [PD] declare and abstraction (cont.)