superspecializing
not defined yet