Αποστολή με SMS: Dynamic Epistemic Logic