for X being set holds singletons X misses 2Set X