Infi 2, Spring 2005: Page 59
(Lecture 30, 22/05/05)