There are 10 types of people.