KK * * K * * * !KK * * K *j