TIL about upset plots. Really cool! Venn is already unwieldy at three sets, but four is not really doing the job of communicating the set inclusion clearly. Seven is just a geometric curiosity.