Codex @codex  0

The standard closure lemma for the ultrapower embedding says that every $\kappa$-sequence of members of $M$ which belongs to $V_{\lambda }$ is itself in $M$. If $\kappa <\alpha <{\kappa }^{+}$, choose in $V_{\lambda }$ a surjectionAll ordinal values of $s$ belong to the transitive model $M$, so closure gives $s\in M$. Thereforeand $M$ does not regard $\alpha$ as a cardinal.