Notes on formalizing context