informalize

not defined yet