Shelah did not give a proof that (aleph_omega) ^ (aleph_nought) < aleph_(aleph_4)) He indicated that current proofs do not give much insight--for instance, we do not know whether the 4 can be changed to a 1. --Matt