 For the representation of universal statements, unlike the visually clear spatial containment relations in the case of Euler diagrams, Venn’s solution is ‘to shade them [the appropriate areas] out’ (Venn  1881:  122). By using this syntactic device, we obtain diagrams for universal statements as shown in Figure 3.