te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),obj,n,[],[],3,5)
te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(unicorn)),obj,n,[sub(\(D,@(*(D),^(j))),E,m)],[],3,5)
te1(\(A,@(*(A),^(j))),sub,m,[],[],0,1)