eiksy'aigryspe lujvo

x1 is an ex-fiançx of x2 under custom/norm x3.