unspecialising

not defined yet