supersatisfaction
not defined yet