Tim Hochberg wrote: >isinstance(anInstance, aClass) => aClass.classof(anInstance) >isubclass(aSubclass, aBaseclass) => aBaseclass.superclassof(aSubclass) Not bad! How about aClass.has_instance(anInstance) and aBaseclass.has_subclass(aSubclass), then? This would resemble dictionary.has_key(...). Olaf