Diary Entries - Zorns Lemma