There are only 10 types of people in the world