Re: [PD] abstractions with arguments