The core model iterability problem - Steel (Springer, 1996)