formalize

not defined yet