 the theory tells us what it would take for that sentence to be true: it tells us that this sentence is true if and only if the object to which “Amelia” refers is a member of the set of things which satisfy the predicate “sings”—i.e., the set of things which sing. So we can think of a full theory of reference for the language as implying, for each sentence of this sort, a T-sentence of the form