Added disjoint method definitions.