unimplicate

not defined yet