[PD] distinguishing same objects/abstractions