J` = \{ i \in ~[~n~]~ : \varepsilon`_i = 1 \}