such that '

wrote Waverly' is true when

is

and is false when

is not