There are 10 kinds of people in the world ...