Semantics II : interpretation and truth (1974)