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