nonexhausted

not defined yet