superrefinement

not defined yet