Re: [PD] finding out if an abstraction instance exists