SMS dit: Introduction to model theory /