Begining of disjunctive analysis