DisjunctE
ch
DisjunctT
ch
data
ch