Iterator uses the Countable interface