# Abstract It is shown that iterating the $\mathrm{HOD}$ operation can lead to a strictly decreasing sequence of models $\mathrm{HOD}_n$ and that the limit model $\mathrm{HOD}_\omega$ may or may not satisfy AC.