rewrote to disjunction
rewrote to disjunction
bump version