How many introverts