unspecializing
not defined yet