Equations and Venn diagrams