Re: [PD] Setting a variable in abstractions