Formalizing the Dynamics of Information door