Quantifiers, Being, and Canonical Notation