Def disjoint

Modification history