added example with set comprehension
added good kids constraint