[PD] abstraction arguments and GUI