venn 12
John Venn was an English mathematician whose best known contribution is a graphical method for representing propositions widely used in set theory and named in his honor as "Venn diagrams", which he presented in his book Symbolic Logic (1881).