Zaslat SMS: Model theory