Searching for links to ZornsLemma: