Re: [PD] avoid "properities"/"open" options in abstractions