  Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible
cardinal above it, we present an idea due to Magidor, to find a generic
extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$
