We continue the work from [8] 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 extensions. In particular, this allows us to more easily lift we... ...
