Definition:

overrefinement