Zaslat SMS: La semántica funcional