X r 1 Xr : t Xr 9 Xr.X