SMS versenden: Models and ultraproducts;