DisjunctE
ch
DisjunctT
ch