equivalence array DK2 excluded
equivalence array DK4 excluded
equivalence array DK6 excluded