Redirecting to Zorn's lemma