SMS dit: Structures and assertions