Commutativity
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
p ∨ q :: q ∨ p, and p · q :: q · p.
Show
Order doesn't matter for ∨ and ·.
Watch for
It matters enormously for ⊃. No commuting conditionals — that's video 150 wearing a rule's clothing.