There are only 10 types of people