Disjunctive case

Summary