## Video 1: Relativized quantifiers and counterexamples

## Video 2: Natural deduction example

## Video 3: Another natural deduction example

## Video 4: One more natural deduction example

## Video 5: Equality in first order logic

## Video 6: Syntax of first order logic in Lean

## Video 7: Quantifier rules in Lean