exhaustibility

not defined yet