such that (1) '

wrote Waverly' is always equivalent to '

is

,' (2)

is Scotch."