Disjonctive added as a new module