X^X+y^y PRP (and with a really small y=4)

To be completed...