updating class notes 20130905

clarifying nested existential quantifiers section