Mo's Diary Entry - Zorns Lemma