ricyvelvi'u lujvo

x1=v4 is a stump of tree x2=t1=v3