ka'arvi'u lujvo

x1=k1=v1 cuts off x2=k3=v2 from x3=k2=v3, leaving x4=k3=v4