Labelled Issues

When taking into account more sorts, there is a rule of thumb : For each exclamation mark that occurs in a combinatorial formula, there is one different sort that lies behind.