equivalence array KK1 excluded