Lecture 2: Terms vs Tactics, More Tactics, Induction Date: January 30, 2026 Links: [Slides] [Demo] Detailed notes will be added shortly. For now, please refer to the slides and the demo above.