Re: [PD] Re: [PD-announce] mccallum_abstractions updated