added a nested disjunction test