xruii fu'ivla

x1 is back/returns to satisfying property x2.