Re: [PD] abstractions $ variable inconsistency