exhaustlessly

not defined yet