Logic.Connectives
data
Conj
a
data
Disj
a