te1(@(\(A,\(B,exists(C,/\(@(*(A),C),@(*(B),C))))),^(price)),sub,n,[],[],0,2)