Set of conditions

The way to tell if something is of type X, is to cast to X.