formalizing

not defined yet