cn(unicorn,n,[],[],3,4)
cn(unicorn,n,[sub(\(A,@(*(A),^(j))),B,m)],[],3,4)