Comment by Elliot Glazer on Can we always force on models of ZF-Reg. to get the cardinality of sets definable?

If there is a proper class of Quine atoms, then $H_{\alpha}$ is a proper class for all $\alpha \ge 2.$ And this fact is preserved under any reasonable concept of forcing over foundationless models.