CS 241 [February 6, 2013]: added incompleteness note.