Venn’s first name was John, not Ben. :)

https://en.wikipedia.org/wiki/Venn_diagram