At the end of a problem specification there is an alphabetically sorted index. It contains all designations used in the problem specification and the names of all description classes.