Describir: Dynamic epistemic logic