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

 

More Dead Horse

“Tesco is a store for everything”
\hspace{3mm} ∀x StoreFor(b,x)
Tesco is a store for everything except dead horses
\hspace{3mm} ∀x (¬DeadHorse(x) → StoreFor(b,x) )
Tesco is a store for everything except Tesco
\hspace{3mm} ∀x (¬x=b → StoreFor(b,x) )
There is a store for everything except itself
\hspace{3mm} ∃y ∀x (¬x=y → StoreFor(y,x) )