New: y-productive