Invia SMS: Model theory: