[PD] default abstraction argument(s)