cicj*K(sisj)>=0->cicj*K(sjsi)*
cicj*kij=p>=0->p*=cjci*kij*=cicj*kji*p=cicj*kij
cicj*(kji*-kij)=0->kij=kji*