People living in cannot construct a which is -generic over . They may believe on faith that there exists a being to whom their universe, , is countable. Such a being will have a generic and an . The people in do not know what and are but they have names for them, and .… Continue reading Excerpt from Kunen