Title: Enumerator's manual