superexceeding
not defined yet