L1

• universal

  • true if something is true for every single thing in a group
  • false if there is even one thing in the group for which it's not true
• existential

  • true if there at least one thing in a group for which is true
  • false only if nothing in a group makes it true