[PD] Problem with this (involved) abstraction for XY