There are five types of people in the world