Re: [PD] default abstraction argument(s)