We show that given $\omega$ many supercompact cardinals, there is a
generic extension in which there are no Aronszajn trees at
$\aleph_{\omega+1}$. This is an improvement of the large cardinal
assumptions. The previous hypothesis was a huge cardinal and $\omega$ many
supercompact cardinals above it, in Magidor-Shelah.