Define: $H_0 = \emptyset \\ H_{\alpha+1} = H_{\leq \alpha} =\{x \mid \forall y: y \in \operatorname {trcl} (\{x\}) \ |y| \leq |H_\alpha| \} \\ H_\lambda= \bigcup H_{\alpha < \lambda}, \text {  for limit ordinal } \lambda$ 

This cumulative size hierarchy is also indexed by ordinals.

Now if we define ordinal definable sets in terms of those stages istead of the usual $V_\alpha$ stages of the cumulative hierarchy. That is, we use exactly the same definition of ordinal definability but only replace the symbol $V$ by $H$. Designate that as $\operatorname {OD}^*$, then:

> Is $\sf HOD=HOD^*$?