-----------------------
Disjunction Elimination
-----------------------

Example of disjunction elimination.
