Empty Case

When a compositor cannot compose any more out of a case, from many of the sorts being exhausted, it is termed an empty case, or he says, my Case is Empty, although there may be a great number of types in it of other sorts.