# narrow by first set
(set_1) x (keys %INDEX) = (set_1) x (A, C, M, Z) = (A, C, Z)