disjoinable
not defined yet