Let U0, U1 be two normal measures on κ. We say that U0 is in the Mitchell oredering less then U1, U0 ⊳ U1, if U0 ∈ Ult(V, U1). The ordering is wellknown to be transitive and well-founded. It has been an open problem to find a model where ⊳ embeds the four-element poset | |. We find a generic extension where all well-founded posets are embeddable. Hence there is no structural restriction on the ...