Re: [Python-Dev] Retrieve an arbitrary element from a set withoutremoving it