  It is shown that, if H,K are saturated formations of soluble Lie algebras
over a field of non-zero characteristic and H strongly contains K
non-trivially, then H coincides with the formation generated by the L/N(L) for
L in H, and that H is not locally defined.
