Initial commit
Add disjunction
Add implication