unexhaustedness

not defined yet