Infi 2, Spring 2005: Page 42
(Lecture 23, 14/04/05)