Disjunction

6.4
()