The Venn diagrams constitute an iconic representation of the standard form categorical propositions, in which spatial inclusions and exclusions correspond to the nonspatial inclusions and exclusions of classes. They provide an exceptionally clear method of notation. They also provide the basis for the simplest and most direct method of testing the validity of categorical syllogisms.