prurolmoi lujvo

x1 is timewise the last, most recent thing before x2 to satisfy property x3.