disvaluation
not defined yet