[PD] passing $0 from an abstraction to another abstraction