private fun user(s: SetImpl<String>) = s.contains("Hello") && "world" in s