exhaustion

not defined yet