Missing disjunction