supervaluing

not defined yet