We can regiment our notation, admitting only general and singular terms, singular and plural predication, truth functions, and the machinery of relative clauses; or, equivalently and more artificially, instead of plural predication and relative clauses we can admit quantification.