The assertion numbering goes like ... "x", "y", "z", "aa", "ab" ... . This section really has many assertions.