superexiguity

not defined yet