Re: [PD] optional argument in abstraction