Two Things Are Broken

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

To translate sentences involving number into awFOL, use identity. For example,

`Two things are broken' might be translated as:

∃x ∃y ( Broken(x) ∧ Broken(y) ∧ ¬(x=y) )