Zaslat SMS: Model theory.