Re: [PD] default value for an abstraction's creation argument