Disjunction_and_existence_properties loading ...