Dynamic Epistemic Logic door