On the model theory of knowledge (1979)