Adding branching quantification to a first-order language increases the expressive power of the language, without adding to its ontology. The present paper is a defense of this claim against Quine (1970) and Patton (1991). 1993 Kluwer Academic Publishers.
