Re: [PD] Patch for abstractions