UNIVERSE 1 = SETS by Lm6, Lm7;