Guido> It is already done this way, except the attribute is called Guido> __contains__ and we only ask the right argument for it: "x in y" calls Guido> "y.__contains__(x)" [if it exists; otherwise there's a fallback that Guido> loops over y's items comparing them to x]. Ah, that's why you said that it could be done backwards.