This is a non-technical talk that presents a new approach to the semantics of the quantifiers. On the standard approach, (forall x)Fx is true if and only if Fx is true for all assignments of the variable x to individuals in the domain. The standard approach, however, has not been successfully used to provide semantics for some substructural logics, such as relevant logics. On our new approach, (forall x)Fx is true at a world w if and only if there is a "general proposition" true at w such that this general proposition entails that F is true of every individual in the domain. I will discuss philosophical ramifications of adopting this new approach and discuss what happens when it is used to provide a semantics for modal logic. This paper reports work done with Robert Goldblatt and will be suitable for anyone who knows even a little bit about modal logic. No background in relevant or substructural logic will be presumed."