Formal Aspects of Context by