undisjoined
not defined yet