Venn diagrams verify some special law of set theory