24.970 Introduction to Semantics