exhaustively

not defined yet