formalizations

not defined yet