~ pulling this one off the shelf ~
Zorns Lemma (1970) — OmList