Davidson's work is well noted for its unity, as he has brought a similar approach to a wide variety of philosophical problems. Radical interpretation is a hypothetical standpoint which Davidson regards as basic to the investigation of language, mind, action, and knowledge. Radical interpretation involves imagining that you are placed into a community which speaks a language you do not understand at all. How could you come to understand the language? One suggestion is that you know a theory that generates a theorem of the form 's means that p' for every sentence of the object language (i.e. the language of the community), where s is the name of a sentence in the object language, and p is that sentence, or a translation of it, in the metalanguage in which the theory is expressed. However, Davidson rejects that suggestion on the grounds that the sentential operator 'means that' is sensitive not only to the extensions of the terms that follow it, but also to their intensions. Hence, Davidson replaces 'means that' with a connective sensitive only to the extensions of sentences; since the extension of a sentence is its truth value, this is a truth functional connective. Davidson elects the biconditional (if and only if) as the connective needed in a theory of meaning. He concludes that a theory of meaning must be such that for each sentence of the object language it generates a theorem of the form 's is true if and only if p'. A theory of truth for a language can serve as a theory of meaning.