SMS: La semántica funcional