introduce enumerator to do pagination

Agreed. Let's use consistent capitalization.