There are 10 kinds of people ...