devaluates

not defined yet