Invia SMS: Model theory