cabrolmoi lujvo

x1 is the last one timewise to satisfy property x2 among x3.

See also cabmoi and temymoi.