overrefinement
not defined yet