Pošalji SMS: Structures and assertions