Alice, Bob, Charlie, David, and Eve are friends trying to decide whether to go skiing or study next weekend. Each casts a vote. Let their votes be de- noted by predicates a, b,
