Infi 2, Spring 2005: Page 27
(Lecture 16, 30/03/05)