export * from './disjunction.js';