Set comprehension minimal green