draft of work on disjunctions
fix copyright