Zaslat SMS: Dynamic Semantics