, "wrote Waverly" and "is," and we form a function ofby considering the equivalence of these two functions of