HASE__ doesn't have any sets.