formalizing