I$, D$, and Arbiter in Top Level