disjunctions

not defined yet