-"kriterie, algoritme, aksiom, betingelse, note, notasjon, sammendrag, "
-"bekreftelse, konklusjon, faktum og antagelse."
+"kriterie, algoritme, aksiom, betingelse, merknad, notasjon, sammendrag, "
+"bekreftelse, konklusjon, antagelse og tilfelle, i både nummererte og "
+"unummererte former. I motsetning til den enkle utvidete AMS-modulen, har "
+"hver type sitt eget telleverk. (Altså kriterie1, kriterie2, antagelse1, "
+"kriterie3, ... i motsetning til kriterie1, kriterie2, antagelse3, "
+"kriterie4, ...)."