SMS dit: La semántica funcional