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?noyes
ABA → B
TTT
TFF
FTT
FFT

 

Evil(a) → HatesMeat(a)

HatesMeat(a) → Vegetarian(a)

Vegetarian(a) → Evil(a)