[PD] Knowing the position of an abstraction