Title: Introduction to semantics