Zaslat SMS: Structures and assertions