[CSCI S-80] Lecture 4 now available