Text this: Dynamic epistemic logic /