> κ is a measurable cardinal. Let P = Coll(κ, < λ) and, in V P, let Q = Q(λ). Theorem (L-H) In V P∗Q, λ = κ+, µ(λ) holds, and κ fails. (In fact, κ,<κ fails, though ∗ κ holds.) In V P∗Q, let T be the forcing to thread the (λ)-sequence added by Q. Let ν ≤ κ be a regular cardinal. We can define a forcing iteration Sν of length λ+ such that, in V P∗Q∗Sν , if S ⊆ λ ∩ cof(ν) is stationary, then T “S is stationary”. Theorem (L-H) Let µ < ν ≤ κ be regular cardinals. Then, in V P∗Q∗Sν , µ(λ) holds but, for every stationary S ⊆ λ ∩ cof(ν), (λ, S) fails.