Material from presentation for UW CS 454, 11/22/2005.