Disjunction_and_existence_properties