Introduction to model theory. (2018)