formalized

not defined yet