disjection

not defined yet