deformalize

not defined yet