subvaluation

not defined yet