If reasonable categorially based transformational grammars can be given for all languages of interest to us, and if this can be done under the constraint that meanings are to be determined entirely by base structure, so that the transformational component is irrelevant to semantics, then it becomes extremely easy to give general answer to the questions: What is a meaning?