codisjunct

not defined yet