SMS: Model theory: