Infi 2, Spring 2005: Page 77
(Lecture 39, 15/06/05)