SMS: Models and ultraproducts;