{{}} is mutually-disjoint by Lm2;