 Given our assumption, both sentences are true. Moreover, from the point of view of the theory of reference, (5) and (6) are just the same: they differ only in the substitution of “renates” for “cordates”, and these expressions have the same reference (because they stand for the same function from objects to truth-values).