Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides



The \emph{scope} of a connective (token) is the sentence containing it lowest in the tree.
The connective with \emph{widest scope} is the one whose scope is the whole sentence.
A rule of proof can only be applied to the connective with widest scope.
When we do truth tables, the order we do the columns in is determined by scope.