[PD] (maybe) issue with abstraction's args