is the right sort of object to be an argument to "

," then

is to be true, however

may have been chosen. For example, "if

is human,