Infi 2, Spring 2005: Page 52
(Lecture 27, 15/05/05)