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
∨Elim and Soundness
The rules of proof are formal stipulations.
-- but --
Some stipulations allow us to ensure we can only prove logically valid arguments.