This video discusses Disjunction Introduction and Disjunction Elimination, two rules in Fitch-style system.
No download links available.
