ANNOTATED-CSE20-Lec-07-Words-into-Logic.pdf