superrestriction

not defined yet