On Right r←[x](F⥼)y

r is F y.