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
Counterexamples with Quantifiers
| Evil(x) | HatesMeat(x) | Vegetarian(x) | |
| Ayesha (a) | no | ?no | yes |
| A | B | A → B |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
Evil(a) → HatesMeat(a)
HatesMeat(a) → Vegetarian(a)
Vegetarian(a) → Evil(a)