Discrete Structures, Lecture B. Professor Warnow, lecturer.