frozensets implemented