draft of work on disjunctions
fix copyright
Merge pull request #1262 from dwightguth/disjunction

draft of work on disjunctions