Infi 2, Spring 2005: Page 63
(Lecture 33, 29/05/05)