inexhaustively

not defined yet