SMS: Structures and assertions