Text this: Dynamic Epistemic Logic