How to Iterate a SpecΒΆ