$\mathbb {E}$ FROM
$\mathbb {E}\upharpoonright \aleph _1$ IN
$L[\mathbb {E}]$
$\omega _1$
$\operatorname {HOD}$ IN INNER MODELS WITH WOODIN CARDINALS