Formalization of context