  We continue to work from [5] and make a small -- but significant --
improvement to the definition of $j$-decomposable system. This provides us with
a better lifting of elementary embeddings to symmetric extension. In
particular, this allows us to more easily lift weakly compact embedding and
thus preserve the notion of weakly critical cardinals. We use this improved
lifting criterion to show that the first measurable cardinal can be the first
weakly critical cardinal or the first Mahlo cardinal, both relative to the
existence of a single measurable cardinal. However, if the first inaccessible
cardinal is the first measurable cardinal, then in a suitable inner model it
has a Mitchell order of at least $2$.
