." In other words, "There is a term

such that '

wrote Waverly' is always equivalent to '

is

.'" (Two propositions are "equivalent" when both are true or both are false.) We have here, to begin with, two functions of