refinedness

not defined yet