Chapter IX. Model-theoretic semantics