[PD] 2 abstractions