xadykru lujvo

x1 is a curve in x2's body, at locus x3, defined by points x4