Zaslat SMS: Dynamic Epistemic Logic