[PD] Named arguments for abstractions