Redirecting to Disjunction and existence properties