SMS: Model theory