A Formalization of Context - 42Papers