is true. (E.g. if we take "a man" as our instance of "a so-and-so,"

will be "

is human.") Let us now wish to assert the property

of "a so-and-so," i.e. we wish to assert that "a so-and-so" has that property which

has when