exhaustedness

not defined yet