diagrams for quantifiers