SMS: Construcción formal.