Oh, I wasn't aware of that. I'll spell it out as explicit iteration and list construction then.