Semantic Theory (1984)