momlai lujvo

x1 is the x2nd member of set x3 ordered by rule x4 .