It’s a tribute to John Venn, the diagram’s creator, born today in 1834. (Incidentally, I disagree with the linked Guardian piece’s assertion that the doctor/prostitute/TSA diagram is ...

Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.