F2021 CS 340 Lecture 8 (Lower Bounds, Introduction to Adversarial Arguments)