J = \{ i \in ~[~n~]~ : \varepsilon_i = 1 \}