SMS: Functional semantics