Diary Entries - Theorem