  We prove that the homotopy theory of $N_\infty$ operads is equivalent to a
homotopy theory of discrete operads, and we construct free and associative
operadic realizations of every indexing system. This resolves a conjecture of
Blumberg and Hill in the affirmative.
