}y ryx r {~ x1
ryx r {ypz }|u~yu r ryxr} u~u r }{ru
}y ryx r {ypz l }{rp