The object ProjectiveWitnessSet is a type, with ancestor classes WitnessSet < MutableHashTable < HashTable < Thing.