[PD] optional argument in abstraction