  We succeed to say something on the identities of (mu^+, mu) when
mu>theta>cf(mu), mu strong limit theta--compact. This hopefully will help to
prove the consistency of ``some pair (mu^+,mu) is not compact'', however, this
has not been proved.
