Disjoint function added