CS 173:  Discrete Structures  (Lecture A, Margaret Fleck)