Re: [PD] abstraction arguments and GUI