My mistake!  That would require a double comprehension which isn't very pretty.