Redirecting to Axiom of dependent choice