inexhaustless

not defined yet