WyC: working on set comprehensions.