exhaustiveness

not defined yet