supersatisfying

not defined yet