"Enumerations" fully verified