Real Enumerator