Formal Aspects of Context door