 However, given that senses and propositions are objective, one might wonder whether theorizing about them via the logistic method should really proceed indirectly, via the study of intensional semantic theories of possible languages (again, see  supplement E),  or whether the logistic method should instead study senses directly by theorizing about how these entities are related to one another and to the designata that they determine. Church himself distinguishes these two approaches and claims that if a theory could be formulated in a satisfactory way using the direct method, then “it should be a comparatively simple matter to devise a language with the desired sort of semantics” (1979 [BE: 807]). He pursued this direct approach in his papers on the Logic of Sense and Denotation or “LSD” (1946b, 1951a, 1973b, 1974a, 1993).