CORE: add disj.