sfecmaci lujvo

x1=c1 is topology of type/describing x2=c2.